class Test
create
    make
feature
      make
      do
        Current.field:=4
      end
feature { CONVERTSFROM }
      field : INTEGER
end

class CONVERTSFROM
create
    make
convert
    make ( {Test} )
feature
    make( a : Test)
    do
        Current.f:=a.field
    end
    print()
    do
        std_output.put_integer(current.f)
        std_output.put_string("%N")
    end
feature {NONE}
    f : INTEGER
end    

class APP
feature
    INIT
    local
         a : Test;
         b : ConvertsFrom
    do
        !! a.make
        b:=a
        b.print
    end
end